Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000C15 | Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Jacques Julliand [France] | Coverage Criteria for Model-Based Testing using Property Patterns |
| 000F24 | Kalou Cabrera Castillos [France] | Automated test scenario generation from termporal properties and behavioural models |
| 001168 | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] ; Bilal Kanso [France] | A Compositional Automata-based Semantics for Property Patterns |
| 001276 | Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Yves Ledru [France] ; Taha Triki [France] ; German Vega [France] ; Julien Botella ; Safouan Taha [France] | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool |
| 001C20 | Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Régis Tissot [France] | Scenario-Based Testing using Symbolic Animation of B Models |
| 001F13 | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David Rouillard | TASCCC - Project and Testing Tool (poster and demo) |
| 002015 | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] | Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests |
| 002414 | Kalou Cabrera Castillos [France] ; Julien Botella [France] | Scenario Based Test Generation Using Test Designer |
| 002445 | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] | Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance |
| This area was generated with Dilib version V0.6.33. |  |